Modelling coordination in biological systems

We present an application of the Reo coordination paradigm to provide a compositional formal model for describing and reasoning about the behaviour of biological systems, such as regulatory gene networks. Reo governs the interaction and flow of data between components by allowing the construction of connector circuits which have a precise formal semantics. When applied to systems biology, the result is a graphical model, which is comprehensible, mathematically precise, and flexibl

Do static sources respond to massive scalar particles from the Hawking radiation as uniformly accelerated ones do in the inertial vacuum?

We revisit the recently found equivalence for the response of a static scalar source interacting with a {\em massless} Klein-Gordon field when the source is (i) static in Schwarzschild spacetime, in the Unruh vacuum associated with the Hawking radiation and (ii) uniformly accelerated in Minkowski spacetime, in the inertial vacuum, provided that the source's proper acceleration is the same in both cases. It is shown that this equivalence is broken when the massless Klein-Gordon field is replaced by a {\em massive} one.Comment: 4 pages, 2 figure

A concentration phenomenon for semilinear elliptic equations

For a domain \Omega\subset\dR^N we consider the equation -\Delta u + V(x)u = Q_n(x)\abs{u}^{p-2}u with zero Dirichlet boundary conditions and $p\in(2,2^*)$. Here $V\ge 0$ and $Q_n$ are bounded functions that are positive in a region contained in $\Omega$ and negative outside, and such that the sets $\{Q_n>0\}$ shrink to a point $x_0\in\Omega$ as $n\to\infty$. We show that if $u_n$ is a nontrivial solution corresponding to $Q_n$, then the sequence $(u_n)$ concentrates at $x_0$ with respect to the $H^1$ and certain $L^q$-norms. We also show that if the sets $\{Q_n>0\}$ shrink to two points and $u_n$ are ground state solutions, then they concentrate at one of these points

Fibers and global geometry of functions

Since the seminal work of Ambrosetti and Prodi, the study of global folds was enriched by geometric concepts and extensions accomodating new examples. We present the advantages of considering fibers, a construction dating to Berger and Podolak's view of the original theorem. A description of folds in terms of properties of fibers gives new perspective to the usual hypotheses in the subject. The text is intended as a guide, outlining arguments and stating results which will be detailed elsewhere

Interaction of Hawking radiation with static sources in deSitter and Schwarzschild-deSitter spacetimes

We study and look for similarities between the response rates $R^{\rm dS}(a_0, \Lambda)$ and $R^{\rm SdS}(a_0, \Lambda, M)$ of a static scalar source with constant proper acceleration $a_0$ interacting with a massless, conformally coupled Klein-Gordon field in (i) deSitter spacetime, in the Euclidean vacuum, which describes a thermal flux of radiation emanating from the deSitter cosmological horizon, and in (ii) Schwarzschild-deSitter spacetime, in the Gibbons-Hawking vacuum, which describes thermal fluxes of radiation emanating from both the hole and the cosmological horizons, respectively, where $\Lambda$ is the cosmological constant and $M$ is the black hole mass. After performing the field quantization in each of the above spacetimes, we obtain the response rates at the tree level in terms of an infinite sum of zero-energy field modes possessing all possible angular momentum quantum numbers. In the case of deSitter spacetime, this formula is worked out and a closed, analytical form is obtained. In the case of Schwarzschild-deSitter spacetime such a closed formula could not be obtained, and a numerical analysis is performed. We conclude, in particular, that $R^{\rm dS}(a_0, \Lambda)$ and $R^{\rm SdS}(a_0, \Lambda, M)$ do not coincide in general, but tend to each other when $\Lambda \to 0$ or $a_0 \to \infty$. Our results are also contrasted and shown to agree (in the proper limits) with related ones in the literature.Comment: ReVTeX4 file, 9 pages, 5 figure

Family Unification on an Orbifold

We construct a family-unified model on a Z_2xZ_2 orbifold in five dimensions. The model is based on a supersymmetric SU(7) gauge theory. The gauge group is broken by orbifold boundary conditions to a product of grand unified SU(5) and SU(2)xU(1) flavor symmetry. The structure of Yukawa matrices is generated by an interplay between spontaneous breaking of flavor symmetry and geometric factors arising due to field localization in the extra dimension.Comment: 13 page

Global bifurcation for asymptotically linear Schr\"odinger equations

We prove global asymptotic bifurcation for a very general class of asymptotically linear Schr\"odinger equations \begin{equation}\label{1} \{{array}{lr} \D u + f(x,u)u = \lam u \quad \text{in} \ {\mathbb R}^N, u \in H^1({\mathbb R}^N)\setmimus\{0\}, \quad N \ge 1. {array}. \end{equation} The method is topological, based on recent developments of degree theory. We use the inversion $u\to v:= u/\Vert u\Vert_X^2$ in an appropriate Sobolev space $X=W^{2,p}({\mathbb R}^N)$, and we first obtain bifurcation from the line of trivial solutions for an auxiliary problem in the variables (\lambda,v) \in {\mathbb R} \x X. This problem has a lack of compactness and of regularity, requiring a truncation procedure. Going back to the original problem, we obtain global branches of positive/negative solutions 'bifurcating from infinity'. We believe that, for the values of $\lambda$ covered by our bifurcation approach, the existence result we obtain for positive solutions of \eqref{1} is the most general so fa